|
|
Concurrency, compositionality, and correctness : , essays in honor of Willem-Paul De Roever /
Publication:
New York : Springer, 2010
. x, 375 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xvi, 676 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding /
Publication:
Berlin : Springer, 2010
. x, 283 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers /
Publication:
Berline : Springer, 2010
. viii, 274 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering secure software and systems : , Second International Symposium, Essos 2010, Pisa, Italy, February 3-4, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 240 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements engineering : , foundation for software quality : 16th International Working Conference, Refsq 2010, Essen, Germany, June 30-July 2, 2010. proceeding /
Publication:
Berlin : Springer, 2010
. xi, 280 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in databases and information systems : , associated workshops and doctoral consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009 : revised selected papers /
Publication:
New York : Springer, 2010
. xv, 256 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /
Publication:
Berlin : Springer, 2010
. xiv, 416 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Adaptive multimedia retrieval : , identifying summarizing, and recommending image and Music : 6th International Workshop, AMR, 2008, Berlin, Germany, June 26 -27, 2008 : revised selected papers /
Publication:
Berlin : Springer, 2010
. x, 183 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
High performance computing and applications : , International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers /
Publication:
New York : Springer, 2010
. xv, 589 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Bioinformatics Research and Applications
by Chen, Jianer.
Publication:
. XIV, 454p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in informatics : , 10th Panhellenic Conference on Informatics, PCI 2005, Volos, Greece, November 11-13, 2005 : proceedings /
Publication:
Berlin ; | New York : Springer, 2005
. xix, 873 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Fundamentals of computation theory : , 14th international symposium, FCT 2003, Malmo, Sweden, August 12-15, 2003 : proceedings /
Publication:
Berlin ; | New York : Springer, 2003
. xii, 431 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Computer and information sciences : , ISCIS 2005, 20th international symposium, Istanbul, Turkey, October 26-28, 2005 : proceedings /
Publication:
Berlin ; | New York : Springer, 2005
. xxi, 973 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Formal techniques for computer systems and business processes : , European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, proceedings /
Publication:
New York, NY : Springer, 2005
. xiii, 348 p.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
FST TCS 2003 : , foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings /
Publication:
Berlin : Springer, 2003
. xiii, 446 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Theoretical computer science : , essays in memory of Shimon Even /
Publication:
Berlin : Springer-Verlag, 2006
. xii, 398 p. :
24 cm.
Date:2006
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal and natural computing , essays dedicated to Grzegorz Rozenberg /
Publication:
Berlin : Springer, 2002
. xxxvi, 429 p. :
24 cm.
Date:2002
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Next generation computer animation techniques : , Third International Workshop, AniNex 2017, Bournemouth, UK, June 22-23, 2017, Revised Selected Papers /
Publication:
Cham, Switzerland : Springer International Publishing, 2017
. 247 p. :
24 cm.
Date:2017
Availability:
Copies available:
AUM Main Library
(1),
|
|